A PHP library to deal with "dynamic" number systems.