nat.bin_cast_eq source