Add lean test file for upstream Float definition#248

ulfjack merged 1 commit intomasterulfjack/ryu:masterfrom

ulfjack/lean-didnt-workulfjack/ryu:ulfjack/lean-didnt-workCopy head branch name to clipboard