Implement bn.mul().
Don't use h_eq, implement bn.div() and add arithmetic methods.