diff --git a/CHANGELOG.md b/CHANGELOG.md
index ebdd9cf..ed2fc8f 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -13,6 +13,11 @@
 **Note**: Gaps between patch versions are faulty/broken releases. **Note**: A feature tagged as Experimental is in a
 high state of flux, you're at risk of it changing without notice.
 
+# 0.5.16
+
+- **Bug Fix**
+  - fix `DateFromUnixTime.encode` returning a floating point number, #160 (@saevarb)
+
 # 0.5.15
 
 - **Polish**
diff --git a/dtslint/ts3.5/readonlyNonEmptyArray.ts b/dtslint/ts3.5/readonlyNonEmptyArray.ts
deleted file mode 100644
index 4727a4e..0000000
--- a/dtslint/ts3.5/readonlyNonEmptyArray.ts
+++ /dev/null
@@ -1,10 +0,0 @@
-import * as t from 'io-ts'
-import { readonlyNonEmptyArray } from '../../src'
-
-const RNAS = readonlyNonEmptyArray(t.string)
-
-RNAS.decode // $ExpectType (i: unknown) => Either<Errors, ReadonlyNonEmptyArray<string>>
-
-RNAS.is // $ExpectType Is<ReadonlyNonEmptyArray<string>>
-
-RNAS.encode // $ExpectType Encode<ReadonlyNonEmptyArray<string>, readonly string[]>
diff --git a/dtslint/ts3.5/readonlySetFromArray.ts b/dtslint/ts3.5/readonlySetFromArray.ts
deleted file mode 100644
index a454baf..0000000
--- a/dtslint/ts3.5/readonlySetFromArray.ts
+++ /dev/null
@@ -1,11 +0,0 @@
-import * as t from 'io-ts'
-import { readonlySetFromArray } from '../../src'
-import { ordString } from 'fp-ts/lib/Ord'
-
-const RS = readonlySetFromArray(t.string, ordString)
-
-RS.decode // $ExpectType (i: unknown) => Either<Errors, ReadonlySet<string>>
-
-RS.is // $ExpectType Is<ReadonlySet<string>>
-
-RS.encode // $ExpectType Encode<ReadonlySet<string>, readonly string[]>
diff --git a/package-lock.json b/package-lock.json
index 6e57d8f..b185123 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,6 +1,6 @@
 {
   "name": "io-ts-types",
-  "version": "0.5.13",
+  "version": "0.5.16",
   "lockfileVersion": 1,
   "requires": true,
   "dependencies": {
@@ -1681,7 +1681,7 @@
       }
     },
     "dtslint": {
-      "version": "github:gcanti/dtslint#ef28f0ad1d3bd64b8367f6f543cf6fd3b9b09c1b",
+      "version": "github:gcanti/dtslint#824af7cf7780df9840b87d126835a40da740c064",
       "from": "github:gcanti/dtslint",
       "dev": true,
       "requires": {
@@ -1689,7 +1689,7 @@
         "parsimmon": "^1.12.0",
         "strip-json-comments": "^2.0.1",
         "tslint": "^5.12.0",
-        "typescript": "^4.2.0-dev.20210126"
+        "typescript": "^4.3.0-dev.20210323"
       },
       "dependencies": {
         "fs-extra": {
@@ -1704,9 +1704,9 @@
           }
         },
         "typescript": {
-          "version": "4.2.0-dev.20210126",
-          "resolved": "https://registry.npmjs.org/typescript/-/typescript-4.2.0-dev.20210126.tgz",
-          "integrity": "sha512-qF2IdchmiWvZFKE6yTMu/6WKX9faQY9yp896NT1tAM5pmJ89WrsyFnQKRjSSiQg0v+xMScM29hlt7uI6Gdg7aA==",
+          "version": "4.3.0-dev.20210323",
+          "resolved": "https://registry.npmjs.org/typescript/-/typescript-4.3.0-dev.20210323.tgz",
+          "integrity": "sha512-13er73BHxa49JxfDuKDEmQ2w7F9In/ma5AhO6GxDwgdnlYcQUyvBr8pSx1O3zclWI9JEu1cH88G7j0ZSQQ6t2w==",
           "dev": true
         }
       }
diff --git a/package.json b/package.json
index 664b673..9be249f 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "io-ts-types",
-  "version": "0.5.15",
+  "version": "0.5.16",
   "description": "A collection of codecs and combinators for use with io-ts",
   "main": "lib/index.js",
   "module": "es6/index.js",