@DeepDiver1975 Nope. It will surely be an integer.