We know that because of compression artifacts, even though MP3 encoding requires integer input (preferably without any built-in clipping, but the usable range of values is capped at -1...+1 full range regardless, usually as a 16-bit integer), MP3s can contain some peaks that go beyond full range, such as +1.025164, -1.015953, etc.
Does Rockbox clip these values to -1...+1 range or handle them in floating point?