extensions/double library

Extensions

DoubleExtensions on double