A number library with some static guarantees.