JavaScript number library