[cafe] ajout ieee754

3 jobs for dev-anne in 2 minutes and 5 seconds (queued for 7 seconds)