docs: public java.sql.Timestamp asJavaTimestamp() {
          java.sql.Timestamp result = new java.sql.Timestamp(m_date.getTime());
          result.setNanos(result.getNanos() + m_usecs * 1000);
          return result;
      }