Optimized Binary64 and Binary128 Arithmetic with GNU - HAL