Ah yes, that makes sense. These are 32 bit processors. Returning 32 bits without rounding would require 64 bit operations, which are extremely expensive on portable devices. And there is little point since you cannot make actual audio with > 24 bits of precision anyway.