We're supposed to get the substring from `fraction`, which is guaranteed to have the required length. `fraction_part` is the user-supplied value and trying to get a substring view from 0-9 might crash.