static Pt longToPt(long l) {
  ret Pt(firstIntFromLong(l), secondIntFromLong(l));
}