A Comparison of verified distance computation between implicit objects using different arithmetics for range enclosure.