fn record_binary_unit<T: TapeStorage>( result_value: T, lhs_slot: u32, lhs_neg: bool, rhs_slot: u32, rhs_neg: bool, ) -> AReal<T>