number from/to string conversion utilities