Nicer API for OFNumber.