double/double_close_to_extensions library

Extensions

DoubleCloseToExtensions on double
Tolerance-based floating-point comparison.