Simple PHP script to convert between arbitrary number systems