floor package:typenums

Round a type-level number towards negative infinity