MakeOps.M
type int53p
val neg : int53p -> int53p
val add : int53p -> int53p -> int53p
val sub : int53p -> int53p -> int53p
val mul : int53p -> int53p -> int53p
val div : int53p -> int53p -> int53p
val rem : int53p -> int53p -> int53p