All floats rewrite to int in zcarton filter (for test).