anchor.diff:          call write_key(js, key)
           write (js%io, '("[")', advance='no')
           do i = 1, size(val)
  -            write (js%io,'(f0.8)', advance='no') val(i)
  +            call write_real_val(js%io, val(i))
               if (i/=size(val)) write (js%io,'(",")', advance='no')
           end do
           write (js%io,'("]"'//record_delim(terminal, .true.)//')')
  
positive.code:         logical, intent(in), optional :: terminal
  
          call write_key(js, key)
          write (js%io,'(f0.8,a)') val, record_delim(terminal)
  
      end subroutine write_real_32
  
  
negative.code:         logical, intent(in), optional :: terminal
  
          call write_key(js, key)
          call write_real_val(js%io, val)
          write (js%io,'(a)') record_delim(terminal)
  
      end subroutine write_real_64
  
  