use correct type for float constants