do not mangle hex float constants in function calls