Fixing a bug creating floating point constants of type other