Fix some other shorten-64-to-32 casting error found by MSVC (64bits)