Rename: div -> quot