| Seed is a variable | instantiation_error | |
| Seed is neither a variable nor an integer | type_error(integer, Seed) | |
| Seed is an integer < 0 | domain_error(not_less_than_zero, Seed) | |
| Seed is neither a variable nor an integer | type_error(integer, Seed) | |
| Seed is an integer < 0 | domain_error(not_less_than_zero, Seed) | |
| Number is not a variable | type_error(variable, Number) | |
| Base is a variable | instantiation_error | |
| Base is neither a variable nor a number | type_error(number, Base) | |
| Max is a variable | instantiation_error | |
| Max is neither a variable nor a number | type_error(number, Max) | |
| Number is not a variable | type_error(variable, Number) | |