static Pt ptFromLong(long l) {
  ret longToPt(l);
}