Add opaque types for Double and Float#1413

Open

mario-bucev wants to merge 2 commits intoepfl-lara:mainfrom mario-bucev:fp-bits

+75

Commits on May 8, 2023

Add opaque types for Double and Float
mario-bucev
committed

Commits on Jan 6, 2025

Merge branch 'main' into fp-bits
samuelchassot
authored