Tweak float types
Typo fix #1. Thanks @jdm.