In this rule

Historical Rules · 25 August 2017

Rule 116.1a

Official source text from the 25 August 2017 Rules release

Permalink

A player may cast an instant spell any time he or she has priority. A player may cast a noninstant spell during his or her main phase any time he or she has priority and the stack is empty.

Find this number in the current Rules