ExampleDB: Add Prelude.floor with type of unsafeCoerce