Convert double to float rather than using real