Update the floating-point section of the tutorial for the short float repr.
1 file changed