let mk_zero () = mk_num Q.zero