addition doubles

add using doubles fact