The 0x3F800000
will be in the DATA section in the 32 bits starting at address 0x10010000.
Of course, to the memory system a 32-bit floating point value is just another 32 bit pattern. Here is (part) of SPIM's display showing this:
![]() |
(Review: ) Can -0.1 be represented precisely as a 32-bit float?