real number

extension

random

symbol

tags

Wikipedia