I am keeping this as is per our discussion because it needs to be called from a FloatBuiltin constructor.