add koans for numeric types