Don't cast size() calls into floats