Make the erlang:'div'/2 BIF return more specific type
Make the erlang:'div'/2 BIF return more specific type

This just improves type inference a tiny bit.
csae1152/erjang,csae1152/erjang,trifork/erjang,csae1152/erjang,trifork/erjang,trifork/erjang,trifork/erjang,trifork/erjang,trifork/erjang,csae1152/erjang,csae1152/erjang,trifork/erjang