constString _ (Const32 w) =
  -- dexdump always prints these as floats, even though they might not be.
  "#float " <> ffmt (int32ToFloat w) <> intComm32 (fromIntegral w :: Word32)
constString _ (Const32 w) =
  -- dexdump always prints these as floats, even though they might not be.
  "#float " <> ffmt (int32ToFloat w) <> intComm32 (fromIntegral w :: Word32)
constString _ (Const32 w) =
  -- dexdump always prints these as floats, even though they might not be.
  "#float " <> ffmt (int32ToFloat w) <> intComm32 (fromIntegral w :: Word32)