apple-0.1.0.0: math/splitmix.apple

λx.
  { s ← x + 0x9e3779b97f4a7c15
  ; z0 ← s
  ; (z0,s)
  }