To be consistent, functions with `rational_` prefix implements methods,
functions with `rat_` prefix are utility functions.