bug with large numbers in toshl