simpler switching from float to double