points by Jtsummers 5 hours ago | 0 comments

  7 = ⌈ 2.2 + 2 + 2⌉