Fix non-marking as manually forced floating point variable if the value isn't integer

2019-02-21, Andrey Skvortsov