Package org.jacop.floats.core