Resolved float pushdown issue