Silence -Wshorten-64-to-32 warnings