check that characteristic is zero in modular()
update modquotient.lib