1. A method of operating a product configurator in a computer system comprising a constraint analyzing module and a conversion module, the method comprising: analyzing at a processor during a product configuration session using the constraint analyzing module a constraint on a floating point variable, wherein the computer system supports both floating point operations and integer operations, the constraint having the ability to numerically limit a domain of the floating point variable; determining by the processor if the floating point variable can be handled during the product configuration session as an integer variable; and converting by the processor using the conversion module the floating point variable to a pseudo integer variable if it is determined that the floating point variable can be handled as an integer variable; wherein converting the floating point variable to a pseudo integer variable allows the domain of the floating point variable to be processed as an integer variable when generating a product configuration by the product configurator, wherein the generating comprises solving a constraint satisfaction problem.