What IMHO would be urgently needed would be an integer-only version of the vorbis encoder. This would be doable (one would have only to exchange all floats by 32bit integers and to shift the multiplicands before and after the multiplications accordingly to make sure all results fit into 32bits while no accuracy is lost for 24 bit audio) and would provide a drastical speed boost that would be even bigger for all mobile platforms that come without floating-point processors.