checked out primdecint from spielwiese