S.Ops
type int53p = int53p
val (~-%) : int53p -> int53p
val (~+%) : int53p -> int53p
val (+%) : int53p -> int53p -> int53p
val (-%) : int53p -> int53p -> int53p
val (*%) : int53p -> int53p -> int53p
val (/%) : int53p -> int53p -> int53p
val (/%%) : int53p -> int53p -> int53p