Text this: Constructing method of opaque predicate based on type conversion and operation of floating point numbers