Avoid an imprecise double conversion whenever possible