add RandomNumbers.Mod Oberon-07 for OberonJS