fn extract_n(args: &[RValue]) -> Result<usize, RandomError>Expand description
Extract a positive integer n from args[0].
Dispatch-level reorder_builtin_args ensures args[0] is always the first
formal parameter regardless of how the user passed it (named or positional).