of the application. At this point [...] for floating-point numbers [...] -convertible floating-point number