Add div_floor and mod_floor