[nhc-bugs] nhc98 bignum div/mod gives wrong answers or segmentation faults