feat: some writing about tactic support and real numbers#533

grunweg wants to merge 1 commit intomasterfpvandoorn/carleson:masterfrom

tacticsfpvandoorn/carleson:tacticsCopy head branch name to clipboard