Fix buggy construct_int64_ne_unsigned and construct_int64_ee_unsigned functions.