Rename int() to toInt() - issue #1304