Add double number library