Faster int cast
Merge branch '4.2'