casting for double vs. float