This function returns the minimal rank needed to represent the underlying, 0 <= minimal_rank <= rank.