floatからdoubleへ変換できるというルール。