Add the implementation for positive integer index.
Fix and reformat Floating point specialization.
Add implementation for real negative s.
Add implementation for real positive s.
More ideas.
Fix some border cases. Add a couple of related exotic functions. PrettyPrint it.