Fix name of some Int31 operations in native compiler.