Double (class)

Double is a not lua-used type. It is only provided as hardcoded argument for several functions.

This argument-type is based on the lua-typ number.