float

A generic floating point type implemented as a 32-bit float (float32). 1

See also the float32 type.


  1. In this language, float is well-defined: it’s float32.
    “Q&A after Run-Time Type Info” YouTube, uploaded by Jonathan Blow, Feb 12, 2015, https://youtu.be/LPWXSXKnmqg?t=138 

jailang 2019 pixeldroid
https://github.com/pixeldroid/jailang
programming pages theme v0.5.21 (https://github.com/pixeldroid/programming-pages)