made resolution a lexicoded double using mango

todo: rename scientific notation formatter so that it reflects changes