Float constants to top-level even in first full laziness pass