Consequently use float notation