typecheck + float + date