make sure div and fld return integers. fixes #3321