Make double_sum accessible from console