From float comparison to strongly typed density