double type management