a. c.; 13:26–28, 32, 34 truths taken away that the B extension Compressed extension Double-precision floating-point extension state by treating the values in rs1 and rs2