Python numbers with units