check all i64 functions for whether we need to include precise i64 code