always emit + on float constants, to ensure a dot after js optimizer