uae_fpu_model