preliminary support for Python's int() and float()