check for maximum and minimum floating-point value

[lucasccordeiro]

We want to ensure that the user does not provide implementation aspects of the digital controller that leads to overflow.