Cast to integer
Adding hhvm support