builder: implement float options

dd7b816d98Vincent Rischmann committed on 12/19/2020, 11:24:59 PM· committed by Veikka Tuominenparentb090451
1 file changedLine totals unavailable