fix(library/standard/nat2): improved definitions of div and mod