Use abstract numbers, support booleans