From what I've read, the ARM support was implemented by the Ogg folks under contract from a third party with the condition that it not be released to the public. Unfortunately, this means that the Ogg folks won't ever release an integer math version, since it would be impossible for them to reimplement it without breaking that contract. It will be up to a fourth party to do it. I'd start on it, but I have no idea where to start. And just for the sake of making sure, I compiled up ogg123 with its related libraries for the empeg and tried to decode a file and it was agonizingly slow. It was probably 20% of real-time.