static JTextField dm_textIntField(S field) {
  ret dm_intTextField(field);
}