$3\mathrm{.}1\mathrm{.}2$: Floating$-$point numbers $($double$)$