Float coercions out of lets