I would prefer exposing properties like these on the types themselves; you should be able to simply write double::infinity for example.