static_cast double to float