This line test with 5s0, which is a short-float. This errors inside number-type, which doesn't know about short-float.
It probably intended to test for single-float, in which case it needs to be 5f0 (exponent char 'f' ratgher than 's').
It will work on implementation when short-float is the same as single-float, but will fail on other implementations.