Fix bug in routine for double precision addition