[basex-talk] Possibly a bug in format-number function