Fix PPL domain to work with non-integer linear expressions
Small changes to product domain
Do not use the BoxDouble domain in the Parallelotope domain