anchor.diff:      module procedure :: write_real_64_arr
   end interface json_write_key
   
  +interface write_real_val
  +    module procedure :: write_real_val_32
  +    module procedure :: write_real_val_64
  +end interface write_real_val
  +
   contains
   
       !--- Internal helper procedures ---
  
positive.code:         call write_key(js, key)
          write (js%io, '("[")', advance='no')
          do i = 1, size(val)
              write (js%io,'(f0.8)', advance='no') val(i)
              if (i/=size(val)) write (js%io,'(",")', advance='no')
          end do
          write (js%io,'("]"'//record_delim(terminal, .true.)//')')
  
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_32
  
  