$$\cos 25 \times 56$$
$0.7660444431189757$
$\frac{7660444431189757}{2 ^ {16} \cdot 5 ^ {16}} = 0.7660444431189757$
