revert '642befc8', but keep the *added* methods for `decodedNumber()` and `decodedDouble()`.
Attach a file by drag & drop or click to upload
