I think it is OK to say "float" here...