The most structured embedded numerical library ever