emit float constants properly