[decode ]Take the bottom half of int128s (and document it via caveat)
[tests] Add a test for integers of varying sizes.
[tests] Add tests for 32/64-bit floats.