Header: OSNumber.h