Once you've read the source string into a numerical variable there is no telling if the source string was 1.2 or 1.2000
It's numerically the same and will be stored internally the same. It has nothing to do with formats.
To check the digits of the source string you need to read the data as character. With DIS you can do so by defining a character informat for the External File Metadata. After that use the same approach as in the past. You can always later on convert the character variable to a numeric one via an expression like input(<charvar>, best32.)
... View more