Use lua_tointeger() instead of casting the result of lua_tonumber().
treebe8c497467a06ceb27b6dbdd2f3a565d9fac854d
-rw-r--r-- 38 .gitignore
-rw-r--r-- 1985 INSTALL
-rwxr-xr-x 5681 Jamroot
-rw-r--r-- 1130 LICENSE
drwxr-xr-x - doc
drwxr-xr-x - examples
drwxr-xr-x - luabind
drwxr-xr-x - src
drwxr-xr-x - test