Auxiliary arithmetic library.