converting from float to double